decision procedure - German English Dictionary